check if this case can happen