postulated

not defined yet