such that after expanding our notation.