ジョーシンがあったとするならば