Completed equality