counterpart should be true