fix inference rule