Utgången as walet är således a ttP.