Now solves PERM.