Ability to test Lucid specifications.