Order complexes of coset posets of finite groups are not contractible - John Shareshian; Russ Woodroofe (2014)