Class ConjoinStep<S>