hay-pelletier-verification-time-space-rans