Add Functionality in Logic

Preliminary, untested version of Add is added.