Det upplystes att , underförutsättning