afclvgh t vc = \ o \ t b