[math-fun] God's number is 20