A proof of Erdős’s 𝐵+𝐵+𝑡 conjecture | Synapse