My find function will now return the location of a clause in the axiom set