basic assertions on lowerBound invariant
add countEObjects query