(p => q => r) and (r => p)