https://www.lacanteradelezama.com/trivial-lcdl-4/
Trivial LCDL: 4