[randallholmes]

Jensen's consistency proof for NFU can be read as relying on the consistency of TTTU, which is actually very easy to show.