expressivity and implementation sections