Laatste variabele wordt nu ook meegenomen in de verifier