Halls grundsats är ,att