Kurt Gödel# 73b3cf73ec527416688668781dd3b7df