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://www.markbroyard.com/flash-pick-weleda-skin-food-75ml-online-sale-flash-save/