theformalbasesof00veccuoft