Finished simple, base-cases for equality checks