We have these equations that work, but actually figuring out the core of the theory is not so obvious." And so Sebens set out ...