k. propositioner : 1.