Formal investigation of range