Thanks for the kind words! It's definitely a deliberate leap back to the old logical/symbolic era of AI. Not mentioned in the article is that logic makes it m

Thanks for the kind words! It's definitely a deliberate leap back to the old logical/symbolic era of AI. Not mentioned in the article is that logic makes it much easier to emit "proofs" that end users like physicians can understand.