{"construction": "pushout", "qualifier_hr": "cospan"}