nonrationalness
not defined yet