On the Existence of EFX (and Pareto-Optimal) Allocations for Binary Chores