semipedantically
not defined yet