ok, but I'd prefer 'is_launched();'