Fat minors in finitely presented groups | Synapse