This paper addresses the symbolic representation of non-convex real polyhedra. i. e. sets of real vectors satisfying arbitrary Boolean combinations of linear constraints. https://www.ngetikin.com/great-deal-Soderhamn-Footstool-Cover-great-pick/