Definition of Swift Witness