Describir: Axioms for Deferred Acceptance.