We are pedantic