Godel almost 11 years ago Well you could have translated it instead of leaving it as translation_requestion -.-