Deniability and check T.X nonzero