Use point-free style