Note advantage of Sequent Core