Arithmetic and Logic Structures.