added instance.with clauses to test equality