bounded counter examples