Describir: Gross substitutability and the weak axiom of revealed preference.