Attachment: BRC Sequent