'of_expression' updated to 'let and'