Improved definition with denying having an instance