Completed tests and implementation for And, Or, and Not methods for manipulating specifications.