[logic-ml] noncommutative logic