C94-2127 Bottom-up deduction is preferable to top-down deduction because it allows incrementai
hide detail