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