[logic-ml] geometric theories