*
notes: also called Buckhold Branch   
assertion #3605952 by mpimport on 2019-01-21: confidence 100%.