Additional clarification around allOf with additionalProperties: false