STM HS Semi-Formal