fix for #120 -- Notation for when a vertex does not belong to a !-box