propositioner , nämligen : 1:oom