Vi antaga , att hrSmith