Yes, please document this assumption.