curr goto [[집합,set#s-5]]