fixed isHole, added assertions -> done!