\section{How to verify?}

Verification of fuzzy requirements is difficult, while SMART requirements are
verifiable by definition. However the fact that a smartened requirements is fulfilled,
does not mean that the originating fuzzy requirement is also met.

\FigureImposeWidth{FFTSfromSmartToFuzzy}{From SMART to Fuzzy}{.6\textwidth}

Figure~\ref{fig:FFTSfromSmartToFuzzy} shows that careful observation can be used
to obtain insight in the level of fulfillment of the originating fuzzy requirement.

