Satisfiability of JSON Schema Schemas
Amine: update section …