Added proving spliced section.