What is the cross product of #[4, 0, 1]# and #[-1, 2, 3] #?