Working slowly on Maybe equality.