data-and-logic