Title: Dotty Discovers Diamonds