Example – have proved