Jayson_Virissimo comments on Fundamentals of Formalisation level 2: Basic Set Theory