Forcing k=4.