guess-check-lexicographic-parity-supermartingale