OrthogonalVectorQ problem not solved yet