Reduction comes to supervenience plus explicability. Thus biconditionals, multiple realizability, etc., are irrelevant. Biology is already reduced (mostly via functional explanation), and psychology looks promising. Nice.