Recursive Saturation and the Need for Admissible Rest | Synapse