Fix broken proof