Time-delay interferometry for LISA | Synapse