Definitive Logic