Quality and Testing: The Lucid Guarantee