add function conjunction
base logic functions