tux07:Completed equality