Logic of objective bayesianism by Verbraaak