Arithmetic reducibility

Summary