Decision logic and branching logic