Approximation hierarchies and S-bounds | Synapse