Having some problems in permutations.v and will ask for help.