Error opening proof