Till allt detta antagas debefintliga