supersimplifying

not defined yet