weakened size assumption