The Drake equation is fun