Tag: proof of elapsed time algorithm