[math-fun] decorated flexagon on the hong kong $10 note?