congruences
some prop logic, sums, combos, weak number misc, etc