shortproofs