Formalizing the Linear Representation Hypothesis for Rigorous Evaluation | HACKOBAR_