boolean ops for @doxtop