Verify => true -- an option for inducedMap which requests verification that the induced map produced is well defined.
See also: