Quantification over times in logical form does not eliminate the need for a time parameter in the pr...