Who is measuring proper time and proper length?