Lucid Abstractions