en push button ^{(n, artifact)}