Det hela är en längt driswen formalism.