propositioner : 1 .om