inference about inference: hw question 1 added.