Working on structural liveness (Chapter 3)