let section = S_Logic_Prop