Yuchen Pei The "Marxist" bit is probably an Americanism but otherwise all of this sounds plausible.