Constructing a pulsar timing array | Synapse