Nibbler Verification Added