Derivation
Branch: held
Branch: did not hold
Branch: did not hold
Branch: did not hold
Branch: did not hold
Branch: held
Branch: held
Branch: did not hold
Branch: did not hold
Branch: did not hold
Branch: held
Branch: did not hold
Branch: held
Branch: did not hold
Branch: held
Branch: held
Branch: did not hold