doctorially
not defined yet