[logic-ml] CALCO Early Ideas