double.onilne™ - proofs