goedel for 14
goedel 23