explicandum

not defined yet