Det anförda exemplet bör också havarit