inference rule exception fix.