You are right, envy does allow a fun for validation.