explicanda

not defined yet