But there are plenty of other forms of money that have vanished, from stone wheels, to shells, to papers. And all of those would be considered hard money.