Consistency then becomes an issue (i.e., does the formal notation
faithfully contain everything in the CONOPS?) and remains an issue
throughout the SDLC (i.e., are the changes made to one view of the
specification replicated in all the views?)