[spec] start vector calculus