wuncidunci comments on Very Basic Model Theory