I sådant fall skulle antagligensamlingen