* @param proposition the proposition to be spied
* @param result a box that will be containing spied result
* @return the proxied proposition
*/
public static Proposition spy(Proposition proposition, Box<Boolean> result) {
return new CapturingProposition(proposition, result);
}