Boiled down the equality promotion rule to smaller assumptions