deanathematize

not defined yet