[logic-ml] Fwd: