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