Will artificial intelligence make scientific formulae redundant by eventually solving all current and future physical problems? The authors of this book would argue that there is still a vital role for humans to play in making sense of the laws of nature. To derive a formula one follows a series of steps, only the last of which is to check that the result is correct. The book is about unravelling this machinery.Mathematics is the 'queen of all sciences', but students encounter many obstacles in learning the subject: familiarization with the proofs of hundreds of theorems, mysterious symbols,...