proxy lab for CMU 15213