Formal Biology and Compositional Biology as Two Kinds of Biological Theorizing · Study