paradigm.sat