New abstract vector space basis problem.