909	 Arithmetizing Declarations Corrigendum
