Om dessa satser kunna antagas och utföras,