Lucid models