Rephrasing the requirement message