some progress on unproven theorems re: vpairs