"Man kann nämlich die dialogische Logik beweisabhängig so gestalten, dass eine zu Beginn gemachte Aussage nach einer gewissen Zeit nicht mehr zur Verfügung steht." Hier sollte auf "nämlich" verzichtet werden.