Lava.Sequent
class Sequent s