and that cannot be inf+ ?
It could be