What Can Be Shown