irrationality

not defined yet