Text this: Gross substitutability and the weak axiom of revealed preference.