I don't know why this comment is here.

Anyway, I don't know if plot_implicit supports Piecewise directly yet, but it does support Or, And, and conditionals, so in theory it should be doable by a logical translation using ITE.