Tests: wrong specifications