help with procmail rules

I have a user, rmiller <at> mdah.state.ms.us who wants all of his To: and Cc: 
email to go to his millerono <at> gmail.com as well as keeping a copy of the 
email on our mdah.state.ms.us mail server in his inbox.  However, when 
he sends mail from millerono <at> gmail.com he will Bcc: the email to 
rmiller <at> mdah.state.ms.us so that we have a a copy of his email.  Are the 
following procmail rules below correct to accomplish this?

:0:
* $ ^Bcc:.*rmiller <at> mdah.state.ms.us
${DEFAULT}

:0
* ^Cc.*rmiller <at> mdah.state.ms.us
{
        :0c
        ! millerono <at> gmail.com

        :0
        ${DEFAULT}
}

:0
* ^To.*rmiller <at> mdah.state.ms.us
{
        :0c
        ! millerono <at> gmail.com

        :0
        ${DEFAULT}
}