A row polymorphism design for set-theoretic types that keeps substitutions simple by allowing Boolean combinations of row variables directly in record type constructors, with a complete tallying algorithm and an implementation in SSTT and MLsem. Accepted at OOPSLA 2026 (to appear).