FOPT 3 commit