DEFINITIVE LOGIC