ml-logic-defs.pdf