Usualmente, en un sistema de demostración interactivo, el verificador puede almacenar conocimiento previo.