sc-agent of set cantorization implemented