Marco Cerami - Witnessed and quasi-witnessed models in first order fuzzy logic — Steemit