いや、これは暗黙的に推論されてると思う (edited)