let section = S_Logic_Sig