Finished initial draft of implementation section
Resolved impl.tex conflict