changed statement of proposition