Lecture 12 range-type variable representation