RE: Nim as FOL