@theoremoftheday @peterrowlett @apdox @aperiodical Thompon's group F has been proved amenable and non-amenable multiple times each way