necessary proposition