desuperization geometrisation algebrization superation iconisation bosonisation posterisation formalisation uniformisation supersedure