Although many current payment systems are highly automated, the technological changes envisioned by JFMIP have not yet been fully realized.
Payment systems are out of date 
mnli hypothesis: Payment systems are out of date  premise: Although many current payment systems are highly automated, the technological changes envisioned by JFMIP have not yet been fully realized.