n:tSproposition