Bir v değişkenin bir formüldeki geçişi, bir ?v veya v nicelemesinin etki alanında ise bu değişken bağlı geçişlidir. Eğer, v değişkeni ne ?v ne de v nicelemesinin etki alanında ise bu değişkenin bir serbest geçişidir. Soruda y değişkeni hiçbir ?x veya x nicelemesinin etkisi alanında olmadığından serbesttir.