BPL proof