Providing the most semantic error possible