hopefully pred-args render properly in HTML now, see split in blog/talking-about-sets