How do we read algorithms? A case study | Synapse