Another Hartl example