Report on Proof Bar