Petting a shark