n:Lproposition