[logic-ml] Fwd: NSA2011