add --merge to prove when -v, based on a tip from Ovid