modify han
use "is" instead of "exists" local variable of shosushi