0 gauging | Definition of gauging