Abstract over Integers