Welcome to the Home of eXplosive Theorem Lab!