friggin side-effects
cleanup tseitin