The notion of soficity for a group is a weak type of finite approximation property that simultaneously generalizes both amenability and residual finiteness. In 2008 L. Bowen discovered how it can be used to significantly ...