sync
	modified:   SpinelessValues.agda