Title: Obtaining countertypes by developing after fixing