Ahab's Leg: Exploring the Issues of Communicating Semi-Formal Requirements to the Final Users