RPL FOL