Any `Preconditions` here?