Original: Their names are a pun based on the name '' Chippendale '' ( see Thomas Chippendale ) .
Simplified: Their names are a pun from the name '' Chippendale '' ( see Thomas Chippendale ) .