formulerade följande propositioner : 1.