SMT expressions for the schemes (9 of 10)