forgotten details
changes from home
started the translation to CNF