pedantic_gates