The Remainder Extraction Program: What the Framework Determines and What It Doesn't | Synapse