... the program correctly