IAS13 submission, camera ready version