Get the type inference proof working again.