Choice Functions and Revealed Preference | Synapse