jerry's example tripos question