تگ: On the existence of EFX allocations