Added conditions on worldviews in response to reviewers.
Added to coq to respond to reviewer comments.