A final restriction for equiv.clj.