ここで、"a"は"q"("x")内の"x"のすべての束縛されていない事例を置き換える。