TR.plausible. usa On protocols... ADG Fuzzy statememts Protocols Where the truth lies Counterexample GDI Short presentation Automatic discovery Example from GDI GDI Short presentation Definition of FSDIC Example Existence Interpretation Discovery revisited Introducing non-degeneracy hypotheses One more example of discovery Montes'method