then we took all this and of course it's a huge boolean formula and you would probably never really want to write it out explicitly, but it exists and it contains a number of components that we have discussed.