Additive reasoning

Coming soon