α - β Pruning Properties