lecture:apro:2016:ex1