för att finna ihåligheten af en sädan förutsättning.