Keywords – forward deduction