sound property: an attribute of sound
abstraction: a general concept formed by extracting common features from specific examples
logic diagram: a graphical representation of a program using formal logic