Have you read "Reflections on Trusting Trust"?
You have to make some higher level assumptions in practice or you won't get anywhere.
Have you read "Reflections on Trusting Trust"?