If PWR is true and his first name is Bill, then...