Add Counterpart-as-an-instance functionality