a SIMPLE "defined" operator