So let's try inserting a tuple into CS Accept Two the version of the view with the check option and we get an error because the system will detect that the translated insertion into the apply relation would not produce a tuple that appears in the view. 