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