changed proposition validities to true