- ifrQ om^e ¬ df