Solutions for some exercises given in Marek's demo