let
section =
S_Logic_Sig