https://cairosun.com/tau-unveils-groundbreaking-research-in-logical-languages-to-transform-software-development/