formal analysis 6

formal analysis 6