redlizard comments on Fundamentals of Formalisation level 1: Basic Logic