We introduce a logic for knowledge representation and reasoning on protein-protein interactions. Modulo a theory. formulas describe protein structures and dynamic changes. They can be composed in order to add or remove static and dynamic observations. https://theplayfulcollectivees.shop/product-category/sippy-cups/