[logic-ml] Fwd: Leo Esakia