Common issues in interpretation and proof-texting