Turned use cases into LaTex