flesh out introduction, make and add proof edifice image