Finished isubst