Improved Bounds for Cross-Sperner Systems | Synapse