Faster Conversion to Normal Forms

Maybe add a comment here explaining that this is done so that a mapping is still returned, but with truth value True.