7).
Another hyp