DEBUGDEBUGDEBUG and lots of new stuff such that ConjNotFound and ConjBod