More inference proof