( alla närvarande venstermän,