Four Plus Seven Means Eleven