It is likely that a much more informative analysis of the meaning of expectations is to come from game theoretic proof procedures for classical logic, as presented in Aschieri’s work =-=[3]-=-; but we cannot discuss them here. 3.2 Hypotheses ”modulo constraints”: pragmatics of Lax ...
If these arrays were going to be huge then this could get very inefficient; every time we'd make a new solver out of an old one we'd have huge amounts of duplication between the two; the difference between the two would in some cases be a single bit, which seems wasteful. If that...