First draft for USD, from de Marneffe et al. 2014 and _en/