There is a whole section (Section 1.1 in the original paper) on the distinction between high level and low level, and what their properties are.