irrationalities
not defined yet