- Begin formalizing code