mathlogic_automate
