Gödel Code Review