4.4.3 What do the labels on the proof tree mean?