What are the four steps of formal analysis?