Has there ever been any proof of gaint (compared to today's size) arachnids in prehistoric earth when air was more oxygen rich?