Implemented 'not to satisfy'.