Some code I'm messing around with whilst studying a number theory and mathematical logic with the Open University