Formal display for discussion VII

Top Bottom