Simple inference (pg64-65)