Programming proof