Abstract

Acknowledgment. Thanks to the emco-group (www.emco.unibo.it). Special thanks to Felice Cimatti, with whom we first sketched the WAT proposal, to Claudia Scorolli, with whom we refined it in light of experimental evidence, and to Luca Tummolini, with whom we further elaborated it.