antages , visserligen starkare dock endast i formelt-logiskt hänseende.