Id * sorn present~3KS