How Lucid uses Lucid: Operations intro