sequential verification systems