No man is happy who does not ...
No man is happy who does not think himself so.