Verify history substitution