formalized a first version of Dernomalizer