fullt logisk och innehölle satser , som kunde val förevaras.