Clarify definition of capture_or_promotion()