The statement "paul is laughing" is true because Paul has discovered something funny.