Add to Preconditions.