Added defs of alpha_v