How Lucid uses Lucid: Engineering intro