n:tsproposition