My thesis writing has taken an interesting turn. To get my method description part of the thesis to be valid I have to read about Husserl and Kant. This is because I interpret my own usage of a system (a type checker that I have built). To explain why interpretation is a valid method for my thesis I must understand philosophies like Phenomenology and Hermeneutics. I think this is exiting and hope that it will give more than just some text in my thesis.