Add verification function (Task6) (WIP)