On Steitsch 2013