A new inference added.