How Lucid uses Lucid: Documenting processes