More work on godels T