Additive sumset sizes with tetrahedral differences | Synapse