intro comment
COLING style
take advantage of 1-column layout in equations