Inference from lines 5-9