Are you going out of your way to give the most uncharitable possible interpretation of what I said? I struggle to see how any reasonable reader could infer that I believe what you wrote.

The structure of the argument is: because A is equivalent to B and I'm not comfortable with B, then I'm not comfortable with A either. Resolving the let binding in the variables A and B is left as an exercise to the reader.

EDIT: parent has been edited since this comment was written. Please disregard the belligerent tone, reply to parent no longer applies.