expositively

not defined yet