Functional Explanation and Virtual Selection