--- opening "MeasureInTelescope.ma" ---
--- scope checking ---