HOW TO PROVE IT. A WELL STRUCTURED APPROACH