{"isValid":"true","propositions":[],"messages":null}