Add detail into how phi functions are resolved