formed rapidnet exists x, isblue(x)