By: ValentinHirschi <valentin.hirschi@gmail.com>
Specify conditional quadratic pair lift and residual root obligations