a note on branching, which is kinda confusing