Nu hade dock ett sådant fall inträffat—