Describir: Modelo estándar electrodébil en espacio de espín extendido en 7+1 dimensiones, jerarquía y formalización