expression procedures