simplifications

not defined yet