t 2 ) ast.