To sm? rettelser i oppgaveteksten

I oppgavedel C skal formelen i eks. 3 v?re slik (med en B, ikke A):

3.           ?x (B(x, x))

Og i eks. 5 skal det v?re en x-variabel etter allkvantoren:

5.           ?x (B(x, f) ¡ú F(x, x))