Larson's theory predicts that the sentences in (12) are derived from their sources (13) without any problem, since there is no island or finite clause that blocks either-movement.
(12a-c) are degraded contrary to Larson's prediction.