integrate informal spec from VnV user story