To assess the theoretical viability of our project we decided to generate mathematical models of our genetic circuits. We even made a LaTeX document for this which you can find here!