With excluded middle. This is the explanation that clicked for me: http://stackoverflow.com/questions/24711643/how-come-that-we-can-implement-call-cc-but-the-cl

With excluded middle. This is the explanation that clicked for me: http://stackoverflow.com/questions/24711643/how-come-that-we-can-implement-call-cc-but-the-classical-logic-intuitionistic http://stackoverflow.com/questions/24711643/how-come-that-we...