a tiny fix to soundness
	modified:   Soundness.agda