Remove confusing summary full formalism