changed names of F,covertransitive,x\otimes y