Tag: gate instrumentation formulas