got length bounds working