Jonas and Linda's restaurant bill comes out to $23.40. They are planning to tip the waiter 15% of their bill. How much money should they leave for a trip?