Title: Was Machen Marker?