Theory: "" [Annotations have no meaning for theories, yet]

View its metadata	(Not implemented, yet. Coming soon.)
Proof-check it	(Not ported to V7, yet. Coming soon.)

Theory: "document.write(extractParam(unescape(getParam('url')),'param.CICURI'))" [Annotations have no meaning for theories, yet]