Use explicit checkState() to guard against nulls