$ f
	> a
		x
		@1
		y
	@2

~ f = 2
	~ choose(1)
	Yes.