308 LliVal2017i_preprint.pdf 116 + 424 .