What definition of simplicity implies that it can be at odds with correctness?