Source: https://melconway.com/Home/pdf/simplify.pdf