Attaching proves