Thank you! The credit all goes to Mr. Santos and others in his party, which is a bottomless source of humor.