Solving Problems Takes Equals