module appendixA/ring

sig Node { next: set Node }

pred isRing {
	// You have to fill in the appropriate formula here
}

run isRing for exactly 4 Node