The Definitional Side of the Forcing. - Guilhem Jaber; Gabriel Lewertowski; Pierre-Marie Pédrot; Matthieu Sozeau; Nicolas Tabareau (LICS, 2016)