Minor changes (weirdly the previous version of Completeness didn't typecheck for me)
	modified:   Completeness.agda
	modified:   Utilities.agda