semi correspondens