Zeroth order logic