I ett sådant antagandeligger