Definitions Index fol-fro