K * a . v?