unless TOP_LEVEL (always write in the positive if possible)