propositioner sk.if- ^ ' 'gen