revamp BoundsChecking considerably: