Rename field assumption method. Add more javadoc.