Reductionistic Explanation of Protein Function