Another Exercise Problem If A is hopelessly egocentric, does it follow that for any birds x and y, A(x)(y) === A? Solution Yes. If A(<anything>) === A, we can reduce A(x)(y) to A(y) to A. Next =>