Correct by Crystal Pun