PC.RV: Reasoning with Vectors