Forged Invariant — LessWrong