trとpkをセットで描くのはtrを推したいからじゃなくて、例えばdo単体ならそれは野生かもしれない有象無象のdoでしかないんだけど、crと一緒に描かれてるdoは「crの相棒の、あのdo」で固定されるんだよ。この価値を分かれ。