Systematic gauging and checking. (2012)