HW for week II.

    Think about an example of a theorem in - symbolic language

                                                                             -natural language

    Exam practice task 4.3 b - synonyms