wait, what? we're going to redefine `operator`? oh goodie! ;-)