Repaired inference proof