|entries|goedel|