start for truth functional logic building blocks