What happens with this case now? Is it no longer relevant? Or do you think it was redundant to begin with?