John-McCarthy-sqr