@aimsame somewhat blurry proof