First QuickCheck test. Ni-i-ice.