::Proper time is an idea coming from Minkowski space-time in SR. Here we are presumably talking about GR. How is it defined from the GR metric? Will it not depend on position so that it will not be the same for all freely falling particles?