Did you know that Geograpsus severnsi is the first crab species known to have become extinct ?