Allt detta antages såsomriktadt