But then we'd have duplicate assertions all over the place :(