I don't think "=" is being overloaded in this example. The symbols "1", "3" and "*" are, since they're working in Z_4 rather than Z, but equality is just equality.