added text to explain symbols and pruning rule