programs 	SCG
trace  		semantical game
