The feds say that marijuana arrests are dropping.

Year over year, they dropped 7 percent, to about 575,000 in 2015. That’s still 575,00 too many, but it’s a welcome change from 2007, where 800,000 marijuana arrests were made.

The decline makes sense given that four states and the District of Columbia have legalized the drug. But it also tells you that a lot of police time is being used up on a pointless exercise in the states that haven’t yet legalized.

You can get all the facts and figures at the FBI’s official reporting page, here.

Follow all of HIGH TIMES’ legalization coverage right here.