On the existence of EFX allocations for goods | Synapse