[logic-ml] (no subject)