Separated EqualTo code.
Start of Should prinout for specifications.