Logic

TODO: add term