switched examples from Lucid to Precise