further promotion rule simplifications