Axioms of a Dishwasher