think "large language models" but "logical"