See also: Substitution property of equality, Reflexive property of equality, Transitive property of equality
... such as a digital output which could be used to extract a high-quality digital copy of the movie. Since the only hardware capable of decoding the movie was controlled by ...