That is a key point--that no system can ever be secure as long as the host has some way of intercepting messages. The fact is that no matter how secure Levison makes the system, there will always be some way he could intercept messages if he really wanted to, even if it meant modifying the code a bit. And if he can do it, the feds can compel him to do it.