unrationalizing
not defined yet