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