I tried to do a survey today in Theorem reach and got this.
PerBlue can’t do anything about this. Best to contact TheoremReach by email