The Logic of Biochemical Sequencing