> ... But no machine I know of has a `branch if true' instruxion... The Burroughs 5000/6000/7000 stack machines have both "branch on true" and "branch on false" instructions which branch if the top-of-stack value is true or false respectively.