We show how to improve one of the constructors of separation algebras to increase modularity and expressibility. Our technique has advantages for both paper and mechanized proofs. Our results are implemented in Coq.

Background: Cardiovascular diseases (CVDs) are the leading cause of premature death in the 21st century. Dietary factors, such as high salt intake, are related to increased risk of CVDs{Akpolat, 2009 #21}. One of the main sources of dietary salt is bread. On the other hand, salt content is a quality indicator of bread. Therefore, this study was conducted to evaluate the salt content in a variet...