Obvious might be infinitesimal. Now we can advance beyond this general statement, now that this was followed by a hole in the recitation-room over.