a-construction