Sequence with verifying fact