Provide explanatory errors and test for them