\vee\xi^{b'})         \over          \mathcal{W}^{\mathrm{ GRC}}_{V,\mathrm{ \#}}(\xi^b)     }     =     {         \mathcal{W}^{\mathrm{ GRC}}_{V,\mathrm{ \#}}(\xi^b)         \over          \mathcal{W}^{\mathrm{ GRC}}_{V,\mathrm{ \#}}(\xi^b)     }     