proper prove target