minor proof stuff