FOL_Seq_Calc1.Sequent