Updated AND references in KoggeStone