FLOYFP_201227_066

Existing comment: Representation matters. = Equality matters.

Proposed user comment: