zero-order logic