View the ABS object defining this operator, unless there are well-formedness thms for it or its ancestors, in which case, show a listing of the abs and ancestors, and their wf thms. IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html