simplifies

not defined yet