0 : F :lu¬