His nickname was Seongjae (성재; 省齋) or Sirimsanin (시림산인; 始林山人).
Julukannya adalah Seongjae (성재;省齋), Sirimsanin (시림산인;始林山人).