error specification