Categotia per a proves i elements comuns com FOL

Per a fer proves!!!