Determining equivalence of statements