theorem styles for the thesis
definitions chapter revisited