The naive version (with added parenthesis) :
(‘Snow is white’ is true) if and only if (snow is white)
The naive version (with added parenthesis) :
(‘Snow is white’ is true) if and only if (snow is white)