#+title: Todo

* Operations
** Subtraction
** Multiplication
** Max of 4 numbers
** Min of 4 numbers
** subgoals, i.e. do addition manually if addition fact not in decmem