public Property pApply2_F4Test() { return(Prop.ForAll <Tuple <double, DateTime, bool, int> >(t => { var(a, b, c, d) = t; var fap = F4.pApply2(b); return F4(a, b, c, d) == fap(a, c, d); })); }