Protected Asymptotic Depth and the Failure of First-Order Refinements | Synapse