Team:Cornell/Proof - 2017.igem.org