Let's be some postcondition and assume that are given
(1) a process terminating Monte Carlo algorithm A to establish,- and
(2) a deterministic, process terminating verification algorithm B that tests if j holds or not.
Show how to construct a Las Vegas algorithm C to establish J.
Text Book: Introduction to Distributed Algorithms By Gerard Tel.