7^ /. 



