Added a forward reference regarding the translation of FOL into EL.