Image 1 of 1: ‘Two bounds for a program. The nodes drawn are bandwidth roof, peak roof, and your code.’