Add more javadoc to field assumptions.