A comment by @test_withdrawn