Meaning and Origin of: Dafny