CHECK: Addition bis 20