archive: vsl3 vs symprove