GRAPHICAL SYNTHESIS 

AND

 HYPOTHESIS VERIFICATION