漏れカプヤンデレ関係ないとももってたけろ攻め依存型証明系に近いのあ^−^