My_find will now properly return the index of an clause in the axiom set