Fix display of Excluded Middle Justification