Biochemical Reactions -- Pathway Logic -- Formal Cell Biology in Biocham -- Hierarchical