Definition of "Ricardo"