 It is then a technical exercise to show that this definition of satisfaction is materially adequate. Actually one must first write out the counterpart of Convention \(T\) for satisfaction of formulas, but I leave this to the reader.