question: In the effort of maintaining a level of abstraction, what choice is typically left independent?
sentence: Even though some proofs of complexity-theoretic theorems regularly assume some concrete choice of input encoding, one tries to keep the discussion abstract enough to be independent of the choice of encoding.