A collection of addition local rules