Karl’s Pure Logic