Describir: A constructive proof of the ordinal efficiency welfare theorem.