ml-prop-fol.pdf