covariance周りのproposalとか上がってないのだろうか