Supporting results for pointwise provable equality.