: ^pp ( cy^pp ( c^pp ( cy!