annotated psets