hypersequents
plural of hypersequent
Noun
plural of hypersequent