> a conditional is a branch, because the path control takes (at the machine code level) is chosen at runtime. This makes a conditional jump a branch by definiti

> a conditional is a branch, because the path control takes (at the machine code level) is chosen at runtime. This makes a conditional jump a branch by definition. s/conditional is a/conditional jump is a/ Problem solved. Non-jump conditionals have been a thing for decades.