Partee rule # 1: