In the present work, we consider Zuckerberg's method for geometric convex-hull proofs introduced in [Geometric convex hull defining formulations, Operations Research Letters 44(5), 625-629 (2016)]. It has only been scarcely adopted literature so far, despite great flexibility designing algorithmic completeness of polyhedral descriptions that it offers. We suspect this is partly due to rather he...