Is that an arbitrary value or have you somehow empirically determined that this is a good default?