Strong pseudoprime related domains (1)