A playground for proving a few performance points