Nestor Logic