uncommented the liscov test