Propositioner , ( nidetili