Add references for is_finite assumption