"sequent" - key terms from Wikipedia