decoding: reformat text
decoding: rewrite proximity example