changes to abstract syntax in approach