current draft of my bc thesis (after Vojnar's review)