It might be worth moving this comment into the code itself to dissuade future simplifiers with good intentions