explicans

not defined yet