let
section =
Formula
.
S_Model_Prop