Hi, definitive-logic