RK + TOMKINS PROOFS