formuleras i twä postulater : den ena , attresp.