I think ...

that we desperately need declarative, reliable and verifiable languages.

iow ... logic programming