New proofs with Jmeter