Program book proof