Added proof of nukta behavior