Had 20,000 messages in a folde…

Had 20,000 messages in a folder this morning. Mail.app isn’t responding well. Waiting for them to all delete now.