added thanks to UUFonds
sketch for proofs section