pedantries

not defined yet