zeroth-order logic