Do you really want to send tim_three a message saying you like their work?
A truth that cannot be derived from the axioms of a given formal system