Jede dieser Fragestellungen kann auf die Frage zurückgeführt werden, ob eine bestimmte Formel erfüllbar ist:
jˈeːdə dˌiːzɜ frˈɑɡɛʃtˌɛlʊŋən kˌan aʊf diː frˈɑːɡə tsuːrˈykɡəfˌyːɾt vˌɛɾdən, ˌɔp ˌaɪnə bəʃtˈɪmtə fˈɔɾməl ɛɾfˈylbɑːɾ ɪst: