Made abstract syntax