Just some basic Python stuff so I don't have to look it up