annihilation time double negative logic problem tooth sir arthur & his royal knights