Small examples and Send renamed as Let