michaelcohen comments on Preventing extinction from ASI on a $50M yearly budget