Section on STM constructs