the ticket being an electronic receipt