>>22
どういう意味だろうか？
soundnessで、decidableであれば良いと言う話かな。