Mario mining a rock | Nature