Yes, but polymorphism would make it (did make it) (it being the non-reflexive nature of equality) a much bigger problem.