Zeroeth order logic