I wonder if they're using reasoning? It usually eliminates these types of errors