Documentation | Use case life cycle > Distilling functional requirements