polished NullSpace