[lab3] exists bug fixed