In this subsection, we discuss the way in which the principles of algebraic logic described above are implemented by Watson. The syntax of actual commands is introduced only in the examples.