Puns are transformations that preserve type-identity, where the transformation is the substitution of a homophonous word, and the type that is preserved is interpretability. Dogs ate what rats did not. Ah, the ewe, Ra's ram. No, 'Nam was a DNA lesion. Wars a button did start, ah, wet as God's garden.
Mad rats live on no evil star.
Dogs ate what rats did not. Ah, the ewe, Ra's ram. No, 'Nam was a DNA lesion. Wars a button did start, ah, wet as God's garden.