1.1 --- a/src/Tools/isac/Doc/Specify_Phase/document/user-requirements.tex	Mon Oct 31 18:28:36 2022 +0100
     1.2 +++ b/src/Tools/isac/Doc/Specify_Phase/document/user-requirements.tex	Mon Nov 07 17:37:20 2022 +0100
     1.3 @@ -16,7 +16,7 @@
     1.4  variant of ``structured derivations''~\cite{Back-SD09}.
     1.5  
     1.6  \item{\bf Descriptor} is the heading constant of a \see Model-Item in the 
     1.7 -fields "Given", "Find" and "Relate" (and not in pre-conditions). It indicates 
     1.8 +fields "Given", "Find" and "Relate" (and not in where_-conditions). It indicates 
     1.9  the kind of item and constrains the respective type.
    1.10  
    1.11  \item{\bf Example} specifies a particular \see Calculation. It comprises text 
    1.12 @@ -44,7 +44,7 @@
    1.13  of~\cite{gries}:
    1.14    \begin{compactitem}
    1.15    \item {\bf Given} for the input-items
    1.16 -  \item {\bf Where} for the pre-conditions constraining the input-items
    1.17 +  \item {\bf Where} for the where_-conditions constraining the input-items
    1.18    \item {\bf Find} for the output-items
    1.19    \item {\bf Relate} for a part of the post-condition capturing the essence of 
    1.20      a problem relating input and output