Work added to bsystems.v Universe inconsistency issue