Find!
t1 is an uninstaller for uninstalling s2 from system s3=c1.
cf. ci'erse'a, ci'ertolse'a, ci'erse'atci