Completed equality-distinctions koan