Template: S-aft-cond