Residuality Theory by Barry O’Reilly