historical verifiability