LUCAS (REAL) (LUCAS)