Fast-Fol Certificates