J. Shepherd - Justification of time periods in proof