This paper introduces a generalisation of Roy's Identity and Shephard'
s Lemma which is applicable where the resource constraining expenditur
e level of a consumer's utility maximisation problem is not observable
but is replaced by some observable proxy variable such as conditional
expenditure. Implications for testing for Slutsky symmetry and separa
bility are explored.