I think it's OK. We just have to be careful that NONE does not escape the class.