(p => q) => r