Talk:Decimation on Magnus Horn