irrationalized
not defined yet