Correcting quotients in Soundness.agda. Proved R3.
	modified:   Soundness.agda