[logic-ml] modal descent