Text this: Mining laws of Costa Rica.