6-2=4 by C. Kunen