History tests/proptest