Add RANGE procedure and specs