A Framework and Compact Constructions for Non