Update MoreCoq_J.v