Lucid Logic