Lucas Luis set by A. Krings