Setting up procmail to filter spam into spam folder

I am amazed that this is what I was missing and why spam kept ending up
in my mailbox (since it was definitely being recongized by
SpamAssassin).