full conjugation rules, before minimizing