L . Mits propositioner: