semipedantical

not defined yet