p => q => r