I would call an unconditional jump inherently different from a conditional one, i.e. both if and goto are primitives. Of course on some machines everything can

I would call an unconditional jump inherently different from a conditional one, i.e. both if and goto are primitives. Of course on some machines everything can be predicated and the line between an if and a goto is blurred. Then there are indirect jumps...