Applying formal methods 4.
	dance element instances and composed schemas