expositorially
not defined yet