High-dimensional expansion and soficity of groups | Synapse