Template: S-bef-cond