eleatic
not defined yet