@theplunge: @ctime proving