Bounding the mass of the graviton using binary pulsar observations | Synapse