btter use of modules
	modified:   SpecialCase.agda