Does Scott list proofs?