Om wi således antaga alten