Topics in vector logic